Search CORE

146 research outputs found

Modules program structures and the structuring of operating systems

Author: A. M. Addyman
A. N. Habermann
B. A. Wichmann
D. M. Ritchie
J. Welsh
N. Wirth
P. Brinch Hansen
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Full abstraction for a simple parallel programming language

Author: C. A. R. R. Hoare
G. D. Plotkin
G. D. Plotkin
M. Smyth
P. Brinch Hansen
S. Mac Lane
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Time Aggregation and State Dependence in Welfare Receipt

Fine-grained Concurrency with Separation Logic

Author: CAR Hoare
CAR Hoare
D Gries
DM Russinoff
EA Ashcroft
EW Dijkstra
EW Dijkstra
GR Andrews
J-Y Girard
Kalpesh Kapoor
Kamal Lodaya
L Lamport
M Ben-Ari
N Torp-Smith
P Brinch Hansen
PW O’Hearn
PW O’Hearn
S Owicki
SD Brookes
SS Owicki
Uday S. Reddy
W-P Roever de
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

The development of the Emerald programming language

Copenhagen University Research Information System

Kommunizierende Prozesse

Author: P Brinch Hansen
P Brinch Hansen
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1981
Field of study

The purpose of concurrent Pascal

Author: Brinch Hansen P.
Brinch Hansen P.
Dahl O.-J.
Per Brinch Hansen
Simon H. A.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Processor management in a concurrent Pascal kernel

Author: Brinch Hansen P.
Brinch Hansen P.
Brinch Hansen P.
H. S. M. Kruijer
Hoover E. S.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Multiprocessor architectures for concurrent programs

Author: Brinch Hansen P.
Brinch Hansen P.
Hoare C.A.R.
Pattee H.H.
Per Brinch Hansen
Stone H.S.
Swan R.J.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

ACM forum

Author: Brinch Hansen P.
Brinch Hansen P. Fellows.
Hoare C.A.R.
Robert L. Ashenhurst
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

…

core

core